Gentzen’s original consistency proof and the Bar Theorem

机译：没有高度线的Gentzen一致性证明

机译：Gentzen的一致性证明，没有高度限制

机译：戈德尔对根岑第一个算术一致性证明的重新表述：无反例解释

机译：具有Fan定理和条形归纳的证明明珠穿过混合归纳和共归的无限树

机译：（新）直接乘积定理的新证明。

机译：定理证明实例和规则的做法流行病学

机译：在无限证明理论中解释Gentzen的一致性证明

机译：毕达哥拉斯定理证明难题

机译：信息处理理论自动证明的方法和装置

机译：用于印刷版的原版，原版的棒材施加和制造方法以及使用原版的印刷方法